Consider the following XML snippet:
<p>
<a>
</a><b>
</b>
</p>
When folding the <a> element, the <b> element is erroneously folded as well, resulting
in the following display:
<p>
<a> [2 lines]
</p>
The fold error does not occur when the <b> start tag is on a new line:
<p>
<a>
</a>
<b>
</b>
</p>
I'm using jEdit 4.3pre14 with SideKick 0.7.5 and XML 2.0.9.
Submitted | nolda - 2008-05-30 - 00:18:46z | Assigned | nobody |
---|---|---|---|
Priority | 5 | Category | None |
Status | Open | Group | None |
Resolution | None | Visibility | No |
2008-06-02 - 15:30:14z halyavin |
Logged In: YES user_id=1600924 Originator: NO JEdit knows only folding level of the line. So for your document we obtain 0<p> 1<a> 2</a><b> 2</b> 1</p> A fold is a line with level x followed by lines with folding level greater than x. That's why JEdit folds <a> tag with <b>. I think this is not a bug because different users expect different reactions in such case anyway. |
---|